著者: Yasuyuki Arikawa / 有川 康幸
  • 研究期間: 2024 - 2024
  • 総文献数: 3
年別の文献数

  • プレプリント
  • 著書
  • 翻訳
  • 学術論文誌(査読付)
  • 国際会議(査読付)
  • 国際会議 (Journal First)
  • 国内会議(査読付)
  • 記事
  • テクニカルレポート
  • 研究会・全国大会等
  • 学位論文
  • 講演等
  • 受賞
  • 特許
カテゴリ別の文献数

研究キーワード

bugsdevicedriversembeddedemulationexternalfindingエミュレーションデバイスドライバーバグ手法提案検出状態組み込み規則遷移卒論環境差異吸収可能プログラミング演習
文献一覧

採録済

研究会・全国大会等

[1] 有川 康幸, 西浦 生成, 水野 修, "環境差異を吸収可能なプログラミング演習支援システムの開発", 第 32 回ソフトウェア工学の基礎ワークショップ (FOSE2025), 11月 採録済.

2024

国際会議(査読付)

[1] Yasuyuki Arikawa, Kinari Nishiura, and Osamu Mizuno, "Finding Bugs in Embedded External Device Drivers Using Emulation", Proc. of the 6th World Symposium of Software Engineering (WSSE 2024), pp. 129-132, September 2024.

学位論文

[1] 有川 康幸, "エミュレーションと状態遷移の規則による組み込みデバイスドライバーのバグ検出手法の提案",    卒業研究報告書, 京都工芸繊維大学, 2024年.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

ここのリストで表示される文献は,SEL@KIT在籍者に関連するもののみになります.